From High Level Message Sequence Charts to BDL Speci cations
نویسنده
چکیده
This article describes the translation from Message Sequence Charts (a graphical language deening the behaviour of distributed systems) to Behaviour Description Language, a declarative object oriented reactive synchronous language.
منابع مشابه
An Automaton Interpretation of Message Sequence Charts
We give a precise semantics to Message Sequence Charts (MSCs), by interpreting MSC speci cations by B uchi automata. The state transition graph is uniquely determined by the speci cation, but di erent automata may be de ned to accept di erent sets of traces allowed by the speci cation. The precise automaton chosen therefore depends on reliability properties of communications assumed by the spe...
متن کاملAn Analysis of Message Sequence Charts
Message (or Time) Sequence Charts (MSCs) are used in telecommunications system specication. To investigate the meaning of an MSC speci cation, we found the need to connect MSC speci cations with more precise methods such as temporal logic and B uchi automata. Based on an interpretation of a collection of MSCs as a global state automaton, we provide an explicit semantic connection to temporal l...
متن کاملSynthesizing ROOM Models from Message Sequence Chart Speci cations
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...
متن کاملSynthesizing Room Models from Message Sequence Chart Speciications
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...
متن کاملSynthesizing ROOM Models from Message Sequence Chart Specifications
Message Sequence Chart (MSC) speci cations have found their way into many software engineering methodologies and CASE tools, in particular in the area of telecommunications and concurrent real-time systems. MSC Speci cations often represent early life-cycle requirements and high-level design speci cations. We are considering iterating and branching MSC speci cations according to ITU-T Recommend...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998